Have Optimization Coach report unsound float division missed optimizations.
Use locations from typed identifiers for type-generated contracts.
Make TR-generated identifiers have the same name as original identifiers.

Makes error messages nicer, and makes it easier to correlate with source code.
Default implementations are only reached in the absence of method tables.