Freetypes in classical B:
 - Added concrete syntax
 - small change in AST
 - adapted test case
 - increased version number