Stop writing directly to the tcx type table from astconv, which is verboten.
Add assertions that no inference by-products are added to this table.

cc #4036
use expr_method_call in deriving