semantic: First pass at proper with expression resolution.