ivanazuzic

Instead of having everything annotated by hand by the user, there could be something tried out automatically. For the first version, we can try to propagate precision up the call...