Typcheck instance in progress