sync with evaleev fork: expression traits, more TWG conformance fixes, etc.