added some tests for Choice and Any types