did some work on tycheckexp in the function/constructor application section