Finished expressions; moved pattern matching to declarations and binding; removed parenthesized expressions and guards (we can add guards back in later if we want)