Remove d_prototype
& create type tests for p_prototype
#104
Merged
ranocha merged 7 commits intomainfrom sk/remove-d_prototypeJul 18, 2024
+97-31
d_prototype
& create type tests for p_prototype
#104