Week2 Static Environment and Dynamic Development Expressions: every kind os expression has Syntax Type-checking rules Evaluation Rules (Used only on things that type-check) Shadowing: Multiple bindings of same variable