Updated comments and error messages. Also modified the assert for dtypes.
Fixed typo and remplaced local_optimizer by op_lifter.