Trace – a compiled language where every value knows why it has its value