Add Implicit flag to arrow_flag
WIP, generalizing arrows
WIP2