Make constructors of Expr subclasses with companion .apply methods private
make isGround a public method
Drop pre-/postcondition when inlining
Remove legacy hardcoded lists