Update dereferencers
Update gen for dereferencers, tests added
Fix: assignments to dereferenced variables
Added non-passers directory, for short-term good-but-failing tests
Update tests
Update construction gen