Documentation

The type system. We currently use this to infer types for completion, hover information and various assists.