Integrate applicable records into the procedure abstraction.

Integrate applicable records into the procedure abstraction.

Also, don't allow applicable records to be made non-applicable.  This sort of
satisfies the idea that predicates aren't time-varying, provided that the record
type's applicator is set immediately after definition.