Added a phantom type parameter to the type [env] so as to prevent
the user from confusing [offer] and [handle], thus eliminating a
runtime check, while keeping the ability of offering functions that
operate on an arbitrary environment (such as stack inspection).