それなりに構文をリーダブルに改良してパーサ改善
ArrowをTypeConの一種に, Tupleの追加
toCodeを追加
型と式の出力をひとまずまともに
Wildcardを追加
Merge branch 'basic_syntax'