The essence of compiling with traces