Embed the Prelude

@garyb @joneshf @jdegoes Could you please review?
This is eventually evolving into `Bool -> Bool -> Bool ...` :frowning: