Checkbox for model checks added
Initial commit of a Classical B Profile used for code generation and 
library of B primitive types.