Add lint for type-checking transmutes