Describir: Typechecking dependently sorted nominal signatures