sig: disallow (=o) empty names for FFIs, better sig docs