Drop the "binding" nomenclature, keep just the notion of "front context"