Allow creating custom types

[emilsoman]

Syntax:

type Result(a, b) = {:ok, a} | {:error, b}