Config-oriented functional GUI programming framework for small applications