fix(ResourceDecorator): fix params parsing
fix(CoqModel): do not use $resource values any more

Always use $resource object
chore(examples): add some runnable examples