XML schema for qedeq modules.