F-algebra examples
Making everything more stylish
Adding modules to the .cabal file
Origami programming import
Small cosmetic fixes