Allow R16 a bit ahead of time.
Lock the version of bullet to one that can compile for now.
Fix a dialyzer type specification, such that we can run the dialyzer on the code base.