typeChecked and staticCompile