Make default attributes work for erasable args

* src/lparse.ml (get_implicit_arg): New fun, extracted from handle_fun_args.
(instantiate_implicit, infer_call.handle_fun_args): Ue it.
(get_attribute): Return an option.
(sform_get_attribute): Explicitly handle failure.