Make some clearer docs for $typefrom

[joshring]

$typefrom creates a type from the variable's typeid, eg

var $Type = $typefrom($typeof(slice_variable).inner);