Rename SPARK examples folder to SPARK2005.
Injected further strictness annotations.