extended abstract syntax and variables with the possibility of qualified variable identifiers, which may reference modules... (does not yet affect the translation, hopefully)