Added type rules for literals.
Reformat NaBL files.
Desugar useless Lit constructor away.
Cleanup.