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.