Provide type information in LSP even when the module does not fully type check

[lpil]

Currently the LSP can only provide type information when the code fully type checks. We want it all the time!

To do this we will need to be able to partially type check a module.

1. Unify TypedAst and UntypedAst into one format
   • What should the format be?
   • How do we represent types and other inferred data? Option<Type>?
   • We likely need to stop expanding sugar syntax such as pipelines. This will be annoying.
2. Have the error path still return AST but collect errors. Type checking is a failure if any errors are stored.