get metatheory building
get inferencer working