Issue #334: Finished annotations for module teacher