before adding type checking on binding terms
Fixing context