Add raw unary representation for natural numbers
Add parsing for syntax-0 notation