some material from cornell
exploring type checking
added cornell practices