start of virtual machine that runs by reducing and expanding the sematic tree

includes convenience functions for "integer" sized Tnode surface