types2: add tests