implement prefix spill rules and complete annotation.reformat.instantiate()