Traits

A trait that defines a generator for Exp.