rename old `AbsolverMain` to just `Main`