Didier Rémy: ML<sup>F</sup> for everyone (users, implementers, and designers). ML 2007: 1-2