(correct lexival vars class/instances implementation; not yet rolled in)