changelog
use Template type for all template; cleaner initializers
a remarkably stupid bug on isComparable
do type verification for standard methods, e.g. to test comparable; some renames
add tests for type evaluation