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.

I would actually add the two forms each of export and extern linkage specifiers.  Then the forward references define these for the curious.