Здравствуйте, _hum_, Вы писали:

__>вот вы все говорите "легко" и "фигня", а так ни разу еще даже набросок решения не показали

Ну делаешь mpl-массив из всех фундаментальных типов с их псевдонимами, и что бы узнать id типа просто ищешь его в этом массиве и его индекс и есть id. А если не нашёл, то тип не фундаментальный...

Ну это если в качестве PoC на бусте сваять, можно чуть компактнее, конечно, ту же идею реализовать...