Autotiling is now more general, and just works