Handle non-input uninterpreted sorts properly.

Fixes #62.
Update build collateral