2. Resolution🔗

Right now, Laurel reserves identifier names that start with $ for use in its compilation passes. In the future we may improve the passes so that this restriction can be dropped.

1. 2.1. Bidirectional type checking
2. 2.2. Gradual typing
3. 2.3. Typing rules