Handle polymophic protocol implementations correctly. Add :extends to ann-datatype.

See c.c.t.test.protocol-scoping for example
Print monomorphic DataTypes wrt current scope