Rearranging defns in lexicon.clj
Shorter names for lexicons, sig-findo
Fixed bug in present-term (body -> p-body)
apply-lexo now has to map every constant
string->l-string-lexo now produces terms instead of constants
sig-findo', sig-findo without the type arg
Decomplecting read and present term (termix)
Factored out the example toy grammar
Splitting functionality across namespaces
Comments for lambda core
Added :spec to lexical constants
Restructuring constants around :id
Move wordform from the hypertag to :id
Introducing lex-entry, implementing fs-matche and friends as fns