implemented most of the predicates (the trivial ones and zero?).

not implemented: symbol?, vector?, eq?

not tested.