Fixed minor typos, added some more syntactic elements