I236

Just changed how the claferArgs are handled, use to be all Maybe values when were not needed. It's called i236 since it goes along with the i236 claferIG branch https://github.com/gsdlab/claferIG/pull/5.
see https://github.com/gsdlab/clafer/commit/1b72d6fc0453c37c68cc25edb09567572dfdb68a, the other commit has already been merged from i92.