Looks nice. Some ideas are very similar to those of Crystal ( http://crystal-lang.org http://crystal-lang.org ) like the automatic type flow. But it seems not t

Looks nice. Some ideas are very similar to those of Crystal ( http://crystal-lang.org http://crystal-lang.org ) like the automatic type flow. But it seems not to support union types and types are required everywhere (which some might like).