Fix of inplace_et and inplace_caret. Adding partial instantiations for double and float. Added some laws for more specific inversions on interval_maps.