Cleaned code, added a type dec for allAreWithinDelta