Frontend type constraints

Merged
0H
2mo ago
+199-10

Closes #4330