Converted the rest of Thumper over to SPARK2014 syntax. Sort of... certain SPARK2014 features not yet sufficiently well implemented. Temporary workarounds allow the program to compile regardless.