Moved mix files to syntax directory to make them work.
Hooked in desugarings
Moved true and false literals from mix to actual grammar
Added type rules for true and false literals