outline for function types
initial work for getting a func type to work
have a more or less working definition for type parsing
... inf loops right now ... Im guessing left recursion
isn't supported (although that doesn't quite look right)

will finish investigating later