Would it be difficult to support type recursion in records? type r = {LinkedCell : option r, .....} actually gives the error msg: "Unbound constructor variable r"