Added question and assertion types
Added possible_types_given/3
Can now handle generation with multiple is_a's
discourse fragments can now generate kinds as NPs
Built out type questions