Full out-of-order implementation

Fixed instanciation of vars via New
Required : for all var and val statements (type inference be gone)
Updated tests