Annotate use statements in fp_import!/fp_export!

[arendjr]

Currently, we allow the annotation of types to indicate module paths the type can be imported from. There is one downside to this: it assumes the type is not reused across multiple protocols with incompatible module requirements. It would be nice if we could add annotations right on the spot where we define the protocol, possibly by adding use statements.