Add Universe Polymorphism

created branch 28-add-universe-polymorphism to address this issue

added Doing label

assigned to @belazy

added Kernel label

mentioned in merge request !30 (closed)

created branch 28-add-universe-polymorphism-2 to address this issue

mentioned in issue #41 (closed)

created branch 28-add-universe-polymorphism-3 to address this issue

mentioned in merge request !40 (merged)

mentioned in merge request !16

added 1 deleted label

closed with merge request !40 (merged)

mentioned in commit 8b20ac80

removed Doing label

mentioned in commit 30144fc8