Bug(Parser): no error when defining a declaration with the same name as a definition

The following code is accepted but shouldn't:

» def foo := Prop
✓
» def foo.{} := Prop
✓