More progress. Stop printing constructors definitions.

now that the constructor environment is an fmap instead of a list,
printing constructor definitions is not so simple. However, it's also a
rather pointless thing to do...