types2: add test