I have checked with doesappinventorrunonios, and seen that NFC for iOS is not currently supported.
But I wonder if there is an extension out there similar BluetoothLE that might support NFC on an experimental/alpha level implementation?
PS. I did check the above extensions library on mit-cml, but like the MicroBlocks extension is somewhere else, maybe an NFC extension could also be hidden somewhere else?