Added `TopLevel.server`, `TopLevel.ivarFull` and `TopLevel.mvarFull` for
convenience.