Are there sum types in mojo? Whats concurency model? (Are there just threads? Does is have async of sort? Can compiler prevent racing?) Hows dependency management done?