type_check implementations
Merge branch 'master' of github.com:em-mo/TDDB44