Keep inferred type annotations.

This fixes a bug that lead to spurious "found wildcard during
evaluation" errors. The constructed term with the wildcards replaced by
inferred type annotations was thrown away, and evaluation continued with
the term from the source file.