Change the function string_of_var_decl
Merge branch 'parser_johan_syntax' of https://github.com/jhn/PLT into parser_johan_syntax