[extension types] Relax rule on representation/implements type relation

[extension types] Relax rule on representation/implements type relation #336