Checked in more work on new lvalue resolution mechanism
Typedefing additional enums to make debugging easier