renamed doublish to double?, added float types to subtyping diagram
add float type descriptions
more acks
separated heap views into load and store types; separated heap accesses into separate validation rules
added Math.fround
support for float coercions everywhere
float32 support for operators and Math functions
added variadic Math.{min,max}