let
append binding subst =
binding :: subst