Doctests for NativeAtom and Term
A few more sanity tests
update NativeAtom interface