proved a few kernelc list examples

I would prefer ```add(tv(int, V:Int), tv(struct listNode *, P:Pointer))```. Both are correct, but the specification above cannot be applied on add(1 + 1, ...).