giml-language-0.1.0.0: A purely functional programming language with emphasis on structural typing