Added scaling_lens
(+ minor bugfix for negating_lens)