lazy構文の追加とタプルの型推論のバグの修正です＞ω＜
タプルの型推論のバグをさらに修復しましたです＞ω＜