Make all show functions primitive
Disable infinite specialisation check for types an constants