Generation of runtime types from type declarations

Part of the Jane Street's PPX rewriters collection.
