FR example of model architecture search

[fritzo]

Since Funsors are composable in clearly defined ways, could we do model structure search among possible funsors constrained only by type signature (i.e. shape signature)? Could we add an automated statistician example?