primitive -- primitive-type bindings -- list of bindings in the right order of the slots of the primitives Returns either a list of list of new bindings, nil or 'inconsistent