(* module Core Core typechecking and evaluation functions *) open Syntax open Support.Error val eval : term -> term val typeof : term -> ty