Candidates: * types: Target, ChangeReason, Dependency * run: ctx -> rules -> unit * getTargetStatus: ctx -> Target -> ChangeReason list * getDependencies: ctx -> Target -> Dependency list