pprint the lexical env in assumedPred and insist :aliases is mandatory
prepare to use ex-info for assumptions, so that we can pass a map
as is for now, but will change the vector/map thing