Full prelude now compiles, resolves #26