Cheatsheet for the Semantics and Types course