Remove unused holodeck special
mag_savingthrow now consistently returns bool
Add lots of annotations and small fixes to work with splint