Rename beta reduction module