add new typesystem tests