I must be missing something, but it looks like

BuildFileAddress

and

Address

aren't `datatype`s (or `dataclass`es). How is it we can use them in rules?