First working version with all important combinators.