add tests, fix type parameter symbol equality
Add symbol uses when abstract slot is implemented