Remove eqtype declaration for term type

Make ring example a script file that builds as a selftest.

This should make future regressions harder.