hello world for variant types work.
More type variability stuff
fixes
added variant-aware expressions