Begin tests for sage interface.
Add unfold(name*) to conversion, add an elab function which returns the elaborated term, if there are no remaining TCCs.

Elaborate terms in the sage translator.