* h_program-lang/database_code.mli: adding Async, Abstract, Static in properties
* web/blueprint_server.ml: adding kind