val num = Number 13
val lab = Label "x"
val abs = Abs ("a", num)

val res = TypeChecker.typecheck num []
>>> int

val res1 = TypeChecker.typecheck lab []
>>> v1

val context = [("x", LIST (VAR "a"))]
val res2 = TypeChecker.typecheck lab context
>>> [a]