Adding the subtype support in typing