Added basic predicates (is_symbol, etc). Fixed some method calls.