multiplication analoguous to addition

refactor vulgar fraction multiplication analoguous to addition
refactor vulgar fraction cast using fraction roles