Fixed single-expression do blocks and required explicit resolution of virtual identifiers.