Restoring subt at vardecl
Adding support for optional fields.
Fixes with optional args, mutability
Some more fixes
Making optional fields a type fields

  - to allow for parametric instantiation at setProp

  - Fixes at subtyping
A few more fixes with unification of option field