Replaced TMVar with TVar, misc leak hunting
Added experimental push implementation