Adding unit tests to demonstrate a true type reconciliation function