Type for "list" metarule fixed (rolled back). Semantic for edge_stmt fixed.

Semantic calculation for 'list' and 'edge_stmt' rules are fixed.