allowed builtins to have overloads and various other fixes.

sadly this interferes with running without the typechecker
so is very limited right now.