Added type simple type inference to scripting language