Intro - representations & reachability

[awillats]

[communication opportunity / minor] @Adam, prewritten

[ad-hoc, open technical] [important, but may depend on ongoing work, but lots of dependency] @Adam/@Matt copy paste