Draft: Rewrite Quick Look rules according to Fig 7 and 8, Add box and figure support
- Expression and Instantiation rules rewritten, but no support for VDQ, Case and GADTs
- Put typing rules inside figures
- Explanations not updated yet
Edited by Artin Ghasivand