Reenable => syntax, updating type pretty-printing for consistency.

This commit restores the [x] => Either[x, Int] syntax, and updates
these types to render this way in the Scala compiler.