Fix type-checking of module instances with incorrect argument counts.
Fix type-checking of subtypes with incorrect argument counts.