semantic: Implement getTraitsExpType.