FFI-as Redux

Flip the declaration of ffi-as, because external names might have strange characters (like spaces! or $ or @ or whatever) that are not valid in Flax identifiers. Made more sense to have the Flax-visible name as part of the actual declaration.

Also, made the external name a string literal, for the reasons stated above.