Added the Ref and Ref.Plain modules.
Another naming convention.
Added module Trans.