Add Rust items to attributed and typed AST.
Infer type of semantic action, related to #8.