Partial support for open terms in int31.