Add stubs and failing test for type constraints