taking a snapshot while things are compiling, still a bunch of TODOs, need to work covariance into Bindings