remove manual destructor from UserInterface

All manual destructors are now gone, quite remarkable I think.