/**
  * Returns the resolved type for the given object. This must be called after "inferTypes" step.
  */
 public WollokType type(final EObject obj) {
   TypedNode _node = this.getNode(obj);
   return _node.getType();
 }