Move implementation note
Omit shadow check for embedded function

All local variable names are converted into unique symbol by alpha-conversion,
so we don't have to confirm whether global name is shadowed.
Prevent function inlining for function which has free variable #119