Some library modifications. Some tagged-block/return-from optimizations