foundations

• Type safety of abstract machines, intuitively