Added addPoint, monoid instance, and tests
Added addPoint, monoid instance, and tests
minor change
mkPoint method addition
Fundeps turned into type families (I think)
small change
Merge pull request #1 from ImAlsoGreg/master

Add point