Address documentation of type inference issues

These are fixes in response to review of the type inference engine,
mostly addressing issues with documentation.