some tests for incomplete types and bugfixes.