Is the abstract form for type and spec attributes (as returned by, for example, epp:parse_file/3) documented anywhere? What meaning does the list in the third position in -type specs have? Is it ever not an empty list?