Add type checker prototypes