Implemented isProperSubmapOfBy and updated cabal file for keysSet and fromSet.
Everything is implemented!