Loki: type traits (TRAITS macro fixed)