* h_program-lang/database_code.mli: simplify Class and Method, mv
things as properties instead