Corrected highlighting of general path literals
Fixed auto-indent for solve
Added fancy highlighting support for types and some deconstructors in patterns
val is now a type of pattern
Desperate attempt to fix highlighting of numerics in patterns