Added unit tests for the "is" function.
Added unit tests for predicates used for checking the type of its argument.