Added `Eq` instance
Removed foul language
Updates

+ Made `Eq` instance deep and filled in rest of implementation
+ Remove stupid constructors from the `Edda` ADT and replaced with functions.