Improve inheritance

This is a partial fix for issue #9. I haven't touched array assertions.