Add "of" in simple constructors

To make them more easily distinguishable from GADT-y ones