Changes:

  * Fixed issue where refines relation for CP was defined the wrong
    way around, with Bottom refining everything, and nothing refining
    Bottom.

  * Fixed issue where refines relation for ZT was defined in a way
    where (Top <: _) and (_ <: Top) where different.