Added freetypes to ProB's B AST