Adding basic specs for list push, pop and length