Fill out core, being working on combinators