added notes on equality, functions, and types