workaround for getting type of a symbol during typechecking
this is so we can experiment with dependent typing
it might be removed