Compiler [Typechecker]: Support NULL in copy_pike_type(). This also makes NULL supported in eg push_finished_type() and various other places.