Add traits to reserved keywords

Update HAL example