Remove unnecessary pattern
Fix quantifiers
Improve parenthesis matching inside type params