Added extra type tests and #260 tighten spec around runtime enforcement.