updated theory file (fix typo, remove type decls)
cleanup of Util; Util.list_split_at