Added parse interface, <.> does not distribute over <|>
Added new notes and small implementation for ring-like structure
Fixed Iso to include imports