tests for the types namespace

more coming.