Hi,
A large-ish issue with the parser is the way it's assigning default compartments to various objects, for instance string literals.
We should figure out how this works and find a good way to deal with it. Using the bottom compartment (see #2) would probably be a good way to deal with string literals, for instance, but it seems it might have some security impacts.