pseudocode: a collection of variable declaration fixes

Only cases where types are obvious.

- Add missing types
- Do not re-declare variables
- Fix scope of declaration

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I7d44d9adde606094e0a7910fb438649521ff3ec0