Lambda expression reducer

User inputs a lambda expression;
computer reduces it until no more beta-reductions are possible,
then outputs the result

example
input: (#x.(x (x y)) #a.(a a))
output: ((y y) (y y))