Work on syntax and types.