implement tuple sections
move TupleSection syntax handling to desugar module and fix warnings