Note: these pages are very rough notes on current work, mostly for my benefit.