Defined the semantics of delayed bindings; improved definition of bindings