started on semantics, fixed labels, added descriptions to syntax