Update type signature for hperform
OddWord was fixed, so remove own Word12
Update Definition.hs, still WIP

Add Definition data type.
Add support for collecting the types of the arguments as we go.
Port existing functions to the new Definition data type.