Started to follow specification of Haskell 98 module system. New module Relation.