A set of extensions to ease the development of software