Finish a simple elaborator.