core tetra: add test with data type containing polymorphic function