Fixes for miplib-trick application (and a new testcase)
update copyright at top of all sources
some term reg visitor cleanup
cleanup lambda const rule
spelling fixes