fix sizing of some stack ints
begin enforcing more strong typing (Subroutines broken everywhere + UnsafeTest broken on i386!!!)