More explicit error messages for unrecognized stuff at the top level. Important because only declarations are allowed here and people may be writing perfectly valid statements.