Basic type checking of mandelbrot.go, plus minor improvements in other places