split composite invalid case into independent testcases

- the composite case proved that one type check failed not all of them
Merge pull request #100 from alexmmm/fix-basic-types-test

minor fix of BasicTypeTests