Values are supported on the LHS of a wire mapping expression.
Instrumentation in resolver
More instrumentation
Fixed the derivation of input types when traversing through a fonout operation.
Removed unused example file