Add type class for fixed vectors parametrized by length
bump version