rename sources (and commands) from Frac to VulFrac

To clarify between decimal fraction and vulgar fraction, naming clarification
has been introduced by that rename
write down what has been changed for 0.003 so far
fix minor issues with type class