added an alternate implementation of QIO syntax, using F-Algebras