fixed existing typsystem test