Typecore.type_argument: apply omitted optional argument was done in wrong order
Ctype.eq_type: fix case with two paths accepting equalities

1. Base-kinded constructors have priority.
2. If constructors can't be distinguished by case, use order on Path