ws
fix bug in coversInternal(), make getExtendedType() public