There was an obscure bug in compute-effective-slot-definition :around db-class: TYPE wasn't inherited when a slot was redefined (like redefining submarine::id to have type string).

Appropriate test-cases added.

darcs-hash:ad32cac1b7dd8b63666ef45a3ae9db01bad77c3b