

Intensional definitions not good for adding a clause.

Multiple mode declaration handling in add clause.

iput in something to indicate intensional definitions in type definition panel.

When head mode deleted, reenable head mode button.

put in ability to press return in open clause defintion.

put in ability to press delete to remove clause/type/element/etc


