various new tests regarding borrows
make sum-prog
Implement := operator, overwrite sum-main with one which type checks