Complete implementation of infer_class

Bind methods in environment as new values

Simplify some code. infer_binding simply returned one of its arguments
in part of its result, cut that out.