Rich Programming Languages