`type_` failures aren't as clear as they could be

[andy-preston]

It'd be nicer to have more specific errors like value_relativeAddress value_bytesOrString value_6Bits

1. except in directive parameters - Trying to "hide" from JavaScript types like string, object, etc

2. Being far more domain focused.