agent: open/closed arg, open target, inline agent
tuples: subtyping, features, components
assignment attempt
strip -> only, pure?
alias, bracket
conversion
unique
bit
manifest