tighten convergence tolerance
added repo ignore file
remove typecheck code, which is in it's own repo now