finished support for "is" and "typeof" type checking on variables.