Remove bare `def externs`

[rachitnigam]

The language has the extern keyword that tells the compiler to just use the function signature of an included functions. Before import existed, this was used to hack in support for #included functions.

With imports every extern function should be inside an import clause anyways so it doesn't make sense to separately have an extern keyword.