GF_Typechecker

An attempt at implementing a typechecker via GF AST specifications using dependent types and higher order abstract syntax