No boxing

This is quite a radical change. We should think on how to handle this type. Should we have multiple versions, or maybe leave it completely to the users.