Binders & descriptions

Fixed binders (TM) and updated various descriptions