Added minor semantics, and added readme