Added the main interface, frivol.hpp.