fix elaboration for the type of eliminators