definition module check

from Data.Either import :: Either
from ast import :: Function, :: Expression, :: Type

check :: [Function] -> Either [String] Expression