Typed script language