Refactor _t-univ.scm to prepare for implementing other primitives and add tests.