Give RDFT types more meaningful names