Converted User to use lazy initialisation. This is to avoid unstub loops, and also...

Converted User to use lazy initialisation. This is to avoid unstub loops, and also for performance. Interfaces and semantics have been largely preserved, except for a minor change involving setLoaded().