Tidy and trim the type environment in mkBootModDetails