Partially translate QuickSpec terms

TODO: Apply functions and constructors to their types.

TODO: Introduces code duplication between Calls.hs and Heuristics/Calls.hs