A modular functional UI language for Android