Added parser for top-level definitions of supercombinators.