Implement more of the core language

- comparison predicates, not, ?root and ?{}
- atval operation (currently for strings only), drop