Adding a basic prelude! Hurrah! Only includes `list` so far