Implemented SELECT 1+1. Fixed expressions to use static type enforcement.