RFC: some language issues

Hi, RFC (Request for comments): - what's the preferred name for the boolean type? 'bool' or 'boolean'? - what's the preferred name for the floating point type? 'double' or 'float'? - Can it be made that <type>string</type> etc will automagically be rendered as a hyperlink to language.types.string etc? Just like <function>... - language.types is such an important and large section, that you'll cometimes get id's like language.types.integer.casting.from-boolean, what about renaming all language.types.* to types.*? or type.*? Greetings, Jeroen