Typesafe programming language that compiles to bash