4 12 19

When writing check arguments for find types, I worked out it would be easier to have type statements to check against, making find types obsolete in favour of type check from LPI.
- separate mode statements can be used to check inputs types at start and output types at end
- type statement generators can replace values with types