CDuce/Types

integers, characters, records

boolean connectives

coercion