changed use of isa to actual predicate functions
added alias for subseq
Added documentation to aand
*** empty log message ***