minor changes to cont-state; demo polymorphic stack
Generalized fragment up to one-place predicates
E-type fully replaced by Ref = Ent (String,Int) | Func (Ref -> Ref) type

Functional witnesses still a bit buggy
generalized Refs/Stacks, and a new everyD' that automatically functionalizes!
remove ds_store
Add possessives, patch up inverse scope, and pronouns; add examples
plurals, resets, and generalized cont type: K a t