added unit tests for apply, the identity predicates and the variable arguments of lambda and define