pub fn ref_ty(r: &str, env: &TyEnv<'_>) -> Result<Ty, String>
The type of a reference, or a kind mismatch.