Handle fixities for `open` declarations (opening bases) in MLBs

[shwestrick]

MLB allows for binding bases to variables and then later opening them. Currently, when parsing a .mlb, we ignore these. This is incorrect for fixity parsing, because opening a basis can add/remove infix operators (via SML infix and nonfix declarations).