Lifted Definition at same level in class -> no problems with large class names
Static binding of Id and Fail
Dependent libraries are registered correctly