Several TODOs (which I changed to FIXMEs): - check node IDs in `ast_builder::arg` and `ast_builder::ty_path` - support constrained types in `ast_builder::fn_decl`