made VarIntType only accept canonically packed integers and added a test for it