embedded: typesystem for registers