Unable to redeclare classes with more specific, overriding accessors

declare A 
  fld : Object
end

declare B extends A
  fld : String   // more specific type
end