inst bugfix
tracing of W params, inferred type and principal type