adding nice syntax and finishing some more implementation stuff, finit difference equality checker