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