Initial pre-release of abstract foundations