corrected types reppresentation: at the moment we have just two types (bool and individuals)