added more stuff for type tests