Add Hasklens modify and compose implementation