and the possibility of a typed dialect of JS