Getting code to work for most cases.

Here I:
- Moved to sugared code input;
- Accept most cases, including fix. Var is still missing;
- There is still a bug in fix (the types are not listed as bound yet).
- Rule has been renamed into has_type. I can still change!