No need to store argument names (just types) in PatSyn
Revert "Reconstruct patsyn type from matcher type"