Add support for Date in Q/builtins
Document abstract data types in the README.