build the forgetful functor from EMBED to PLT
build the forgetful functor from EMBED to PLT

Ignore-this: 1dacbfc0383e48f4ab35fe0a5fd11cec

darcs-hash:20140110014909-f399b-b908c8910c01f315f134547a7cfcd4bd3f1790cb

robdockins/domains