Export MonadTransControl associated type constructors

This will soon become redundant, as they are moving to type synonyms