Finished definition of helper functions and of +, - diff for FADTensor