Types

	Type	Notation	Definition	Default Value	Illegal Types
Basic
-	Unsigned_Integer	Uint[N]	Unsigned Integer of N Bytes. Uint8, Uint16, Uint64, Uint128, Uint256	0
-	Boolean	boolean	True or False, 0 or 1, etc.	False
Composite
-	Vector	Vector[type, N]	Fixed Length sequence of elements of same type. Homogeneous collection of length N	[default(type)] * N -- A vector of default values of length N	Empty Vectors -- Vector[type, 0]
-	List	List[type, N]	Variable Length sequence of elements of same type. Homogenous collection limited to N values	Empty List: [ ]
-	Container	Container[var_a: type, var_b: type, ...]	Heterogeneous collection of key-type pairs.	default(type) for type in container. -- All fields zeroed to default values	Container with no fields
-	Union	Union[type_0, type_1, ...]	Union type containing SSZ types	default(type_0). the zeroed default value of type_0	Union with null type at type_0. -- Union[null, ...]
Special
-	BitVector	BitVector[N]	Vector of Boolean Values of length N. Given special notation for efficiency	False * N	Empty BitVectors: BitVector[0]
-	BitList	BitList[N]	List of Boolean Values with limit N. Given special notation for efficiency.	Empty List: [ ]
-	Root	hash_tree_root(type)	The merkleized root of a composite SSZ type	hash_tree_root(default(type))

Default Values E.g.


var a: Type<boolean>  
var b: Type<uint8>  
var c: Type<uint16>  
var d: Type<Vector<byte, 4>>  
  
a.defaultValue = false  
b.defaultValue = 0  
c.defaultValue = 0  
d.defaultValue = 0000