Calc
Inductive()
Lemma
NewType()
Proof
QExists()
QForAll()
Struct()
axiom()
cond()
define()
prove()
search()
simp()
Cons()
List()
Nil()
Unit()
list()
Helper to construct List values >>> list(1, 2, 3) Cons(1, Cons(2, Cons(3, Nil)))
args (ExprRef)
DatatypeRef