put all definitions from define-extended-language into define-language
correct reduction relation for function application
remove boring bulk from simple-v1
simplifications and inlining in simple-v1
continue reduction relation and testing