"structural type system" - related articles and key terms