wip on fixing tests for TypeReps