support types for non determinism compiles