Fix personal.mk for some make targets.
Fixes for --inst-max-level
Improve --dt-stc-ind for multi-variable datatype properties.
translate makefiles
what's wrong here?
Sets translate, and other short fixes

- $ is a simple symbol is smt2.
- ever found yourself counting to map kind value to kind? no longer.
- expose parser "logic is set" state for smt/smt2 (any better way?)