changing notation b/c Coq has a problem with :'s

- Adding support for RHasType