added some type traits (unused for now)