Add the Prelude library with type annotations and docs.