Prevent a student from being registered to the same course twice
Added the new-levels-sequence service
Added the list-is-consecutive-sequence procedure
Merge from upstream