Function to get a delaborated proof term