tiramisu/autolib.py: optimpl_ => impl_