Check number of refinement arguments for type aliases in conv

Check number of refinement arguments for type aliases in conv #1345