compiles now
Remove 'projector' type
factor out update functions, types in data-structures, value functions.