Pass type checking

PTAL