predicate based tests
more type utils
bugfixes and tests
bugfix
increasing generic modeling
generalize