Add new top-level vida functions sourceFiles and prelude.