Type selection is slow

[1Computer1]

Right now, you can select an expression and get its type but this gets very slow on large projects due to the use of :all-types. There should be an option that makes it so that only :type-at is used (at the cost of less lenient selections) as it is much much faster.