Add variant t-app to the Type type.
Add t-app cases to methods, and other comparison related stuff