Fixing number size on vectors
Adding semantic action to verify integer range
Adding latest program version