Add builtin.ml and prelude.sn and delete mod*.ml