Type inference and updates

[Skepfyr]

If at any point you or someone else has implemented any form of type inference, automatic type updates, or large scale type checking, then it is worth considering that it could replace the current store of each operations type. Most operations perform simple type-level manipulations of input to output, so module/function level type inference is feasible. It was deemed simpler to keep the type of each operation inline, however, any code that performs this sort of function could change this calculus so it should be reconsidered.
Supersedes #103, see that for extra context.