A typed language with only functions