An idea for Power Typing