Adds context and view bounds for type parameters