Updated function_signatures.h to re-namespace metafunction machinery
Further arithmetic operations for Integer
turned empty_type swap into an always inlined no-op