Update proj1_model_creation.als

About what we want my latest rev.
I think the relations within the board and cell constitute descriptions within the deliverable. I think the only things I don't have are the assertions