An educational language for playing with functional geometry