More type tester edits, initialization