Make term parsing function public
Make term parsing function public

This function interprets anything that can be interpreted as a term as a
term, which can be useful outside this module.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge