Move ADTs to Types module

Import Types module into Main module by using `import` keyword