typo in definition of dedekind cut
fixed typos and minor bugs
Merge pull request #4 from Danghor/master

Typos and minor bugs fixed