Fix: a minor bug in type checking for framed block.
Fix: demos.