The Learners' User Classes in the TERENCE Adaptive Learning System