Wrote some more on views: got the sigma type stuff for non-isomorphic views working.