Remove TP and MonadTP from library core. #17