Expanded signatures to annotate multiple values
Added patValidate
Added nameValidate
Only import noLoc to avoid ~50 warnings