proved kernelc list iterative length and sum examples
Merge pull request #870 from yilongli/prove-kernelc-iterative-len-sum

prove iterative length and sum examples
proved mirror example
Merge branch 'unified-builtins2' into prove-kernelc-tree-examples

Conflicts:
	samples/kernelc/kernelc-syntax.k