Logic-Enhanced Type Systems: Programming Language