notes from TAPL
definitions
intuition and instantiation (started)