Use DisplayContext for type parameters

Fix #278.
Fix #279
Merge pull request #281 from dungpa/implement-interface

Use DisplayContext for type parameters