Make the "extract" functions in RnTypes pure
Once upon a time, the
extract functions at the bottom of RnTypes were pure. Then, along came
-XTypeInType, which needed to do a check in these functions for users mixing type variables with kind variables. Now, however, with
-XTypeInType gone again, we no longer do this check. Thus, there is no reason to keep these functions monadic.