Personally I felt that having 'move' and 'push' be separate commands added just a tiny bit of variety that the game sorely lacked, but you're right about it being annoying to have to type the same command over and over. Maybe a 'move and push' command?
Anyway, thanks a bunch for playing! I'm glad you enjoyed it enough to beat it.