Charon: more specialisations for base types

Also make the Nyx::TypeSpec member const and use static
assertion to ensure TypeSpec is specialised.