Added check for uniqueness among pattern variables in a function declaration; added some tests that should fail because they don't follow this rule