update: use source reflection terminology, update references

[guybedford]

Updates the proposal naming to more clearly use the import source reflection term rather than just import reflection. Also mentions the concept of phase reflections and how this is a singular phase reflection.

Updates references to the module source proposal and import assertions.