Tests for #173
Check that dynamic type is defined for #173
Use internal `dyntype` function to instantiate dynamic types #173