More revision

Ditched the value type, passing everything polymorphically.   Made var abstract (expressions will produce vars). Variable assignments?  Trying to express purity for IO state passing in terms of inst, mode and determinsim.