Kompile - fixing disambiguation for ground parser. Not calling type verifier.