Check block input spec and report errors
Enforce block arg specification
Can use generic types in block arg inputs