Fix a lot of typechecking bugs with user definitions and ints vs reals
Passed
Miles Vella
created pipeline for commit e4980cb5
, finished
For master
1 minute 52 seconds, queued for 5 seconds