We don't error on package specs now
Don't die on function types.
Improve line number reporting
Add in type for type constraints
Actually parse into the file variable
Started stubbing in type inference.
Start type formatting code.
More work towards fully parsing.