pub type EvalResult<T> = TyCheckResult<T>;