Create polymorph_types.h

Declaration of types required for polymorph