Drop support for custom assert.close tol
Add test for parse;print of church terms