definition module check

from Data.Either import :: Either
from ast import :: AST, :: Type

:: Scheme     =   Forall [[Char]] Type
check :: AST -> Either [String] (AST, [([Char], Scheme)])