definition module check

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

check :: AST -> Either [String] AST