Made progress on form handler.
Allows deserialisation of form handler types, and working on proving constructed handler type is the same as stored handler type.