Concrete example of abstractions that have been strengthened over the last few weeks: linking views in a UI as limits over products with lenses (mathematically incorrect, but the mental image works well enough for me to understand that a...