A safe, concurrent, metaparadoxical, structured programming language for the next generation™