added __SMACK_nondet_X() entries for a lot of types