Use lists rather than sets to contain bindings