Add type constraints for uint and uint64 to the System module's procs instead