Migrated fold(l|r)1Opt logic out of syntax and added foldMap1Opt