Fix a scoping bug in translation from core
Support Integer