Add the type-erased arg-parser runtime kernel with property tests

Add the type-erased arg-parser runtime kernel with property tests #100