pub fn proj<S: Into<Str>>(lhs: Type, rhs: S) -> Type