Member access and type bounded procedure type checking done