updates parallel todo
adds paralell binop typechecking
fixes binop tc for ser/par
fixes #5; serial and parallel add through type check