Adds -allow-implicit for type annotations

[markwpearce]

Modifies the type-annotations rule to add all-allow-implicit and args-allow-implicit so when an argument has a default value, it is not flagged by the rule:

Before:

After: