Move certain C modifiers from return type into function type

[andrew4328]

extern f : U64 -> U64

should become

let :C<"extern"> f(x: U64): U64;

not

let f(x: U64): U64+C<"extern">;

like currently.

LM has a more expressive type system, so we should utilize it.