Refine output type of some Input...() functions.
Add SymbolTable::entitySetIndex().
Add FuncCallNode::setDynamicSubsetReturn().
Set dynamic subset return of FuncCallNodes in CheckASTVisitor.
Improve error output by aborting type test after failure.
Fix minor errors in backend visitors.