Add REQUIRE
Fix typo in FrobeniusMatrix composition