Complete specifications for the OJA language. [WIP]