add m_number pattern-matching rule

Matches only a single number.
add m_type() pattern-matching command

m_type(typename) matches only a token with the given type.
e.g., m_type(matrix) matches only a matrix, m_type(list) matches only a list, etc.