Complete initial type checker #68
Description
- Add kind system #75 Kinds
- Add kind polymorphism #76 Polykinds
- Modular implicits #10 Implicits
- Prevent duplicate fields with implicit 'lacks' constraints #41 Lacks constraints
- Report type errors in surface syntax #20 Readable type errors
- Report multiple type errors #71 Multiple type errors