Add semantic parser
Update semantic syntax
Update README (start semantic docs)