multi-parameter type decl highlight in sigs

[kavon]

We don't handle something like this inside of a sig ... end:

signature S = sig
   type ('key, 'a) dict
end

We need more sophisticated code to generally handle the syntax of type declarations in SML in order
to intelligently highlight the above.