added checking of nullary tycons