A new way of structuring types and ideas