Add functions for comparing lengths of list against naturals