Style police: Phase[ResultType] -> Phase[O]

It is recommended that type variables use a single letter, so that it
is possible to tell type variables and type instantiations apart.
Merge pull request #60 from soc/topic/style-police

Style police: Phase[ResultType] -> Phase[O]