parse substitutions from maude constraints

[andreinaku]

input example:

((T1 <= int + float) /\ T2 <= complex)[(T?0 |-> int + float), T?1 |-> complex]

[andreinaku]

a6d32de