rewrite rules: analysis: attribute name resolution and value type check on node uses (instead of only def)