(WIP) add some tests to Types2