CakeML Types Look-up
Search (using regex)
Reset