Add getCurrentModule operation for TC monad
Still more work on Types