Sorting propns in vectors, etc. now
Notes on main.clj