Better use of AbstractUserStudent

Fixes #34