Added unicode support to SfLib
Added unicode support to SfLib

After going back to Agda for a bit, I'm really tired of how ugly Coq
is.  Hopefully this will do a bit to fix that.

GallagherCommaJack/software-foundations,GallagherCommaJack/software-foundations