SeLFiE: use only `term_table` rather than using both `term` and `term_table`

[yutakang]

Probably I have to change

• subexpr_n_qtyp_to_apps, and
• outer_literal_to_definitions and inner_literal_to_definitions

[yutakang]

This issue is not urgent.

[yutakang]

Done in 34ae33e9cf705e160bd10b2236bf1614a39e7591.