Updating: minorly improving some docs.
Updating: exporting only the first of fnx-declarations.