wip introduce finalizer nomenclature
wip introduce finalizer nomenclature cont'd
make stmPrep bool again
refactor marking into separate funcs
fixing bugs (dirty_tvar in mark; wrong unlocking)