pub fn check_linearity(
  term: ast.Term,
  cache: types.TypeCache,
) -> Result(Nil, types.InferenceError)

pub fn infer_term(
  term: ast.Term,
  cache: types.TypeCache,
) -> Result(ast.Type, types.InferenceError)