F# code that are semantically focused, revisable, motivationally transparent, and mechanically sympathetic.