definition module check

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

:: Type
check :: AST -> Either [String] (Type, AST)