Towards spectral synthesis: field expansions for partial functions and logic modules for fgpas