update type domain, debuging ir generator