Try declaring a regular recursive type for exp as opposed to the recursive modules

[7h3kk1d]

Necessary for deriving qcheck and also removes redundancy when adding language features.