guizmin: version constraints on tyxml, dep on lambda-term