Subsuming introspectors, apply/call/bind overhaul

Refactored/strengthened stack management and suspension code
Penultimate (hopefully) to final paper version

Implemented "itype" optimization
Final code used for paper experiments