CoreUtils

Constructing expressions

Taking expressions apart

Properties of expressions

Expression and bindings size

Hashing

Equality

Manipulating data constructors and types