use "so" as the default typechecker for speck tool