Added failure test(type mismatch), and is_nothing function