Add include-guards to dataspace.
Add necessary includes and qualiication to builtins.
Ensure all base classes for reserved annotations are qualified.
Qualify k3_context, add more includes.
Parenthesize lambdas inside subscripts.