WIP: module-qualified expressions etc.
factor out "var" part of speech so that dealing with module scope is easier
use contracts in pcomb.rkt