Make `join-assoc` level-polymorphic#1204

ricky136973 wants to merge 3 commits intoagda:masteragda/cubical:masterfrom

ricky136973:join-assoc-level-polyricky136973/cubical:join-assoc-level-polyCopy head branch name to clipboard