Added predicate functions for each record class defined here.
Defined version of raise-propn-families, which probably doesnt' work right.

raise-propn-families is supposed to make a sequence in which the first
level contains seqs each corresponding to the component maps of
corresponding propositions.  (Hmm, actually we could do with the keys
alone.)  This is supposed to allow setting positive weights in the
weight matrix.
added comment