A simple interpreter for a bash-like language with type inference