Inference working well.
Inference code factorized and as small as can possibly ever be.
Proves that utils.reflect is also well designed.