Add functions for making `TypedTerm`s from `FirstOrderValue`s.
Add functions for making `TypedTerm`s from `FirstOrderValue`s.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script