elaboration refactorings