Human is already the special case in every single aspect of legislation. If the laws are written in code (pun intended), they would look like: if typeof(s

Human is already the special case in every single aspect of legislation. If the laws are written in code (pun intended), they would look like: if typeof(subject) == Human then ...