semantic: First pass at working interface inheritance.