Finally getting haddock docs down
Cleaning up constraint defaulting
Updating documentations
Cleaning up docs