Removed compiled dynamic typechecks and implemented as part of 'popTo' behaviour