Bug fixes in simple term abduction. Logging on.
Fixes to type extraction for toplevel `let` patterns. Logging on in `Infer`, `Joint`, `Invariants`.