-- | Elaboration
trans :: Env -> Expr -> TC (Type, Expr)
trans _ (Kind Star) = return (Kind Star, Kind Star)
trans :: Env -> Expr -> TC (Type, Expr)
trans _ (Kind Star) = return (Kind Star, Kind Star)
trans _ (Kind Star) = return (Kind Star, Kind Star)