What are these mysterious "untyped functional programming languages"?