Added inheritance (syntax, type checking, tests)