Rename tuts, convert to lhs