Add several rules regarding type restrictions

[nobodywasishere]

Related to #502.

• Adds Typing/MacroCallVarTypeRestriction
• Adds Typing/MethodParamTypeRestriction
• Adds Typing/MethodReturnTypeRestriction
• Adds Typing/ProcReturnTypeRestriction

Proc return type is enabled by default as it can lead to issues with passing procs to C, and proc params otherwise need to be typed. The other rules are off by default, and have several configuration options for those who want to use them in different ways (for instance, I can see the stdlib / library shards using the method param / return type rules for public / documented methods, to ensure there isn't breakage when changes are made).

I can add the since_version configs once a review is done.

[nobodywasishere]

Should probably also have a config for splat / double splat params

[Sija]

Please open a separate PRs for each rule. It will make the review process easier and be more visible in the changelog.