javascript: strHead & strTail primitives
javascript: fixed streq bug
javascript: added StrCons primitive
javascript: fixed times-operator in names
javascript: match on types
javascript: fix & in names