check SpecTypes in environment with local binders