Add syntactic as submodule