compiler: support multiple annotations per construct with the same name