Excellent post. Your type-based approach is a very useful tool for thinking about things which I find difficult. Thanks for that.