Updating: improving UTFPL
Updating: renaming ML/hashtbl to ML/hashtblref