Added pure, impure, and reentrant attributes to _import. An unattributed _import is treated as impure. A pure _import may be subject to more aggressive optimizations (common subexpression elimination, dead-code elimination). An _import-ed C function that (directly or indirectly) calls an _export-ed SML function should be attributed reentrant.