"Type domain" -> "type universe"  + other Haddocking