Update language intro with info/example on the the super-short transformation scoping (primitives inlined with a transformation)