Prelude on resource scope for the Sirius editor, as well as some utility
methods.