Spec update for Procedures vs Export/Extern declarations

Spec 0.95 has some conflation between Procedure definitions, declarations for external functions, and restrictions for defining procedures that can be called by external functions.

Separate these out.

You can keep this, if you like as further explanation for the above (if it reads well).