Fixes in top-level, and cleanup
Fixes in environments:

  - name environment also features Assignability, used to determine when
    fixpoint binders are needed

  - cleaned up environments