Starting type checking