Started hand-rolling the module validity checker rather than finishing the pattern matcher or the Horn clause system.