Wrong type for overloaded property

[papaspiridis]

Hello, under version 0.19.15 (Edit: also tested with 0.19.16 and 0.20.0)

For the following schema:

abstract type Entity {
  required property name -> str;
}

type Game extending Entity {
  overloaded property name -> str {
      constraint exclusive;
  }
}

The type of Game.name is never.

Possibly related to #303