Fix Alpha Conversion and Beta Reduction.
update examples.