So was ähnliches habe ich auch schon gemacht: Modul für Typenspezifikation über attributes. Im Gegensatz zu Martinis Ansatz wären damit komplexere Typenüberprüfungen möglich.