made context-use a judgment so it won't error on undeclared variables
renamed core to typed