namespace push/pop
add error primitive
Start writing 'eq', add test-case
rename dmtests