Replaces the definition of name with a function that binds name's arguments to a variable named *argument-list*, binds name's definition to a variable named *basic-definition*, and evaluates body in that context. The type is whatever you would like to associate with this encapsulation for identification in case you need multiple encapsuations of the same name.