A set of extensions to Foundation