Fixed a lot of specs and added several specs for ordered representation