Expression parsing + pretty printing looking good (let and where's
untested because no parsing of declarations yet)