You may want to define fix-ups in patches.lisp, e.g., so we have the abstract types like existential_q, etc.
The hierarchy.smi file is a bit small, possibly because Jacy doesn't build much of a predicate hierarchy, or possibly some entries (e.g. from fundamentals.tdl)
This applies to the current master branch, not to the HEAD of PR #43, but they touch different files so I think they should merge cleanly.
I'm not sure if I did this correctly. Namely:
abstract.vpm
applied in the way described by http://moin.delph-in.net/RmrsSemi