further work on type tests
update submodule