Disallow type synonym instances #177