goalify and resulting typo/isinstanceo goals