Fix invalid test case
Minor style change for the sake of uniformity
Sample value generation of abstract type with no concrete subclasses and abstract members
Minor fix for output result of test case
Added test cases to try and diagnose a bug (unsuccessfully)
Add TODO
Improve test coverage of value generation for traits
Value generation for trait with not concrete subclass and with abstract members

However abstract function definitions still fail both on traits and abstract classes