Towards more flexible primitive types.