A mini version of ast::Ty, which is easier to use, and features an explicit Self type to use when specifying impls to be derived.
Self