experimental language - designed to propogate informational types (as well as having a general static type system)