Adding list-of-type? and alist? functions from MIT Scheme.