Start fleshing out refinement types.
Remove note about mailing Moon, et al.
A bit of clarification on refinement types.
Some initial thoughts on Algol & Dylan.