Moved to new version of yat. Yat is no longer a submodule but is now integrated.