Closes #112 by making typechecking more robust

SFO's a great place to hack the miniboxing plugin.
Sending my goodbyes to the Bay Area :))