Updating: very minor additions
Updating: ATStop->ATSPMVtop;ATSempty->ATSPMVempty;ATSextval->ATSPMVextval
Updating: adding a pure-lang example
Updating: reverting a minor change