Completed all the cases in the notes
Added implies cases and fixed diamond case
Removed deriving eq ord show