- type_check(): don't type check Mixed types twice