No PlainType again

src/main/scala/fluence/hackethberlin/MakeVyperApp.scala

@@ -16,7 +16,7 @@ object MakeVyperApp extends App {
     ("address" → address) ::
       ("owner" → `public`(address)) ::
       ("holders" → (address ~>> bool)) ::
-      ("structMap" → `public`(Mapping(uint256, struct))) ::
+      ("structMap" → `public`(uint256 ~>> struct)) ::
       ("struct" → `public`(struct)) ::
       ("struct2" → struct) :: HNil
   )

src/main/scala/fluence/hackethberlin/types/Mapping.scala

@@ -1,5 +1,5 @@
 package fluence.hackethberlin.types
 
-case class Mapping[K <: PrimitiveType, V <: Type](ktype: K, vtype: V) extends PlainType {
+case class Mapping[K <: PrimitiveType, V <: Type](ktype: K, vtype: V) extends Type {
   override def toVyper: String = s"${vtype.toVyper}[${ktype.toVyper}]"
 }

src/main/scala/fluence/hackethberlin/types/PrimitiveType.scala

@@ -1,6 +1,6 @@
 package fluence.hackethberlin.types
 
-abstract sealed class PrimitiveType(name: String) extends PlainType {
+abstract sealed class PrimitiveType(name: String) extends Type {
   self ⇒
 
   override def toVyper: String = name

src/main/scala/fluence/hackethberlin/types/StructType.scala

@@ -2,6 +2,6 @@ package fluence.hackethberlin.types
 
 import shapeless.{HList, LUBConstraint}
 
-class StructType[D <: HList](dataDef: D)(implicit dv: DataVyper[D], c: LUBConstraint[D, (String, PlainType)]) extends PlainType {
+class StructType[D <: HList](dataDef: D)(implicit dv: DataVyper[D], c: LUBConstraint[D, (String, Type)]) extends Type {
   override def toVyper: String = s"{${dv.toVyperDefinitions(dataDef).mkString(", ")}}"
 }

src/main/scala/fluence/hackethberlin/types/Type.scala

@@ -2,6 +2,4 @@ package fluence.hackethberlin.types
 
 trait Type {
   def toVyper: String
-}
-
-trait PlainType extends Type
+}