Support type annotation in WAC

When instantiating a component, it's useful to allow the user to provide type annotation that fixes the component's expected imports and exports. For example, in the scenario described in #56, the type annotation can be used to suppress the `unknown import` error when the import is intended but is not present in the component's WIT, generated by `witgen`.