[boost] [Proto] Computing type in expression