Add more specs for invalid fn forms (mostly involving block args).
Fix the failing specs from the last commit.