remove useless Shows
separate ADT representation
separate the pull/nest part from Env