Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
Fix version identification for new git repository.
Some cleanup and copyright updating

* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
update copyright at top of all sources
some term reg visitor cleanup