Unfold type synonyms upon parsing cryptol types.
Unfold type synonyms upon parsing cryptol types.

This is a workaround for an awkward situation that used
to arise:

    sawscript> let bar (n:Int) = {| [n] |}
    sawscript> bar 8
    [n]

Now the result is parsed and printed as "[8]".

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script