Elaboration & emit functions for aggregate expressions used as record initializers.