In the `checkSubType(parent, child)` if the parent has strict fields and the child has optional fields we need to throw a type error.