added solver stub
added type thoughts