fixed bugs in require_a statments, improved require_a a little, added benchmark for unfolds