PostTcType no longer present in GHC > 7.8.x

I have left the various staged functions in for GHC > 7.8.x, so that it does not break backward compatibility.