Add test for 'choice'

equivalent to ‘msum’
Add test for 'option'
Add test for 'optionMaybe'
Add test for 'optional'