support method syntax

support branch and comparison expressions

fix return value type

improve type annotations on build artifact and add readme

support underbar in identifiers and string with interpolation

fix bugs

support stdout redirection

support closures and calls

support assignments

language of the expressive power of boolean expressions