fixed multiple variables of disjoint scope bound bug, added alpha conversion for interior bindings