Add struct inheritance in type-environment

Use it to start adding types for a subset of
typed/racket/sandbox