types: Types 13 was incorrect.
bugs: Add bugs 15, testing null object casting.