Add fl min/max primitives
Type annotate relate and sign
Unnecessary cast warning experiment