Modify type checkers to accept 'ANY' type