added random stuff lying on my disk
ForExpr now inherits body's actual type