Futuristic programming, reasoning and proof language