formating and fleshed out some topics more
fixed issue when explaining difference between tagged types and alias
working on section for monads and monoids