Move to redl 0.2.0